Systems of linear inequalities